-
1 definability theorem
Большой англо-русский и русско-английский словарь > definability theorem
-
2 definability theorem
Математика: теорема определимости -
3 definability theorem
English-Russian scientific dictionary > definability theorem
-
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 теорема определимости
Большой англо-русский и русско-английский словарь > теорема определимости
-
6 parametric
параметрический parametric dual problem ≈ параметрическая двойственная задача parametric light generator ≈ физ. генератор света параметрический parametric representation of curves ≈ задание кривых в параметрической форме relation in parametric form ≈ зависимость в параметрической форме - parametric adaptation - parametric amplifier - parametric analysis - parametric ancestor - parametric cell - parametric constituent - parametric curve - parametric definability - parametric dependence - parametric descendant - parametric distribution - parametric equation - parametric estimator - parametric expansion - parametric extremal - parametric filter - parametric form - parametric generality - parametric group - parametric hypothesis - parametric independence - parametric inference - parametric integral - parametric length - parametric limiter - parametric line - parametric method - parametric neighborhood - parametric optimization - parametric oscillator - parametric program - parametric programming - parametric representation - parametric resonance - parametric set - parametric solution - parametric space - parametric spline - parametric sufficiency - parametric surface - parametric system - parametric technique - parametric test - parametric theorem - parametric transformation - parametric tree - parametric trend - parametric variable - parametric variety - parametric word( специальное) параметрический parametric параметрическийБольшой англо-русский и русско-английский словарь > parametric
-
7 provable
матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula ≈ геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement доказуемый provable доказуемыйБольшой англо-русский и русско-английский словарь > provable
См. также в других словарях:
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
Beth definability — In mathematical logic, Beth definability states that for any two models A , B of a first order theory T in the language L ⊇ L, if A | L = B | L (where A | L is the reduct of A to L ) implies that for all tuples a of A , A ⊨ φ [ a ] if and only if … Wikipedia
Robinson's joint consistency theorem — is an important theorem of mathematical logic. It is related to Craig interpolation and Beth definability.The classical formulation of Robinson s joint consistency theorem is as follows:Let T 1 and T 2 be first order theories. If T 1 and T 2 are… … Wikipedia
Institutional model theory — generalizes a large portion of first order model theory to an arbitrary logical system. The notion of logical system here is formalized as an institution. Institutions constitute a model oriented meta theory on logical systems similar to how the… … Wikipedia
List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia